Concurrency and Parallelism as a Medium for Computer Science Concepts
نویسندگان
چکیده
This paper argues that the integration of concurrency and parallelism topics throughout the computer science curriculum need not require a significant reduction in coverage of more “standard” topics. This is accomplished by recognizing that concurrency and parallelism can be used as a medium for learning about other standard topics, rather than as an additional topic to cover. This paper argues this point and describes ongoing work towards it.
منابع مشابه
Fall-12: Using C++11 to teach Concurrency and Parallelism Concepts
In our current undergraduate curriculum, the Operating Systems (OS) course provides in-depth understanding of concepts related to concurrency and parallelism. Typically, the laboratory exercises and programming projects in this course are performed in C-language under Linux, an OS that is unfamiliar to many students. Most of the students primarily have only Java experience under WindowsTM. Cons...
متن کاملWork in progress - Extending parallelism education to the first year with a bottom-up approach
Parallel programming is quickly becoming a major focus of computer engineering education. This leads to the natural question of how to best introduce aspiring computer engineers to the topic. A bottom-up approach to computer architecture and programming was implemented in an experimental course at Purdue University and was offered to first year students. A study of that course’s effectiveness i...
متن کاملA Concurrency Control Scheme for Nested Transactions
Locking rules for concurrency control in nested transaction model, in which parent/child parallelism, sibling parallelism, and arbitrary commitment-dependence relationship between transactions are allowed, are presented. The locking rules are based on the lock transformation scheme that never allows the commit deadlock to occur, which could happen by permitting parent/child parallelism. In addi...
متن کاملAlgebraic Laws for True Concurrency
We find the algebraic laws for true concurrency. Eventually, we establish a whole axiomatization for true concurrency called APTC (Algebra for Parallelism in True Concurrency). The theory APTC has four modules: BATC (Basic Algebra for True Concurrency), APTC (Algebra for Parallelism in True Concurrency), recursion and abstraction. And also, we show the applications and extensions of APTC.
متن کاملA Basis for Verifying Multi-threaded Programs
Advanced multi-threaded programs apply concurrency concepts in sophisticated ways. For instance, they use fine-grained locking to increase parallelism and change locking orders dynamically when data structures are being reorganized. This paper presents a sound and modular verification methodology that can handle advanced concurrency patterns in multi-threaded, object-based programs. The methodo...
متن کامل